منابع مشابه
Seminar 7: the Logic of Principia Mathematica
Volume 1 of Principia Mathematica, in which Russell and Whitehead set out their reduction of arithmetic to logic was published in 1910. Although the reduction adopts a conception of number very much like Frege’s, it is developed in a system of logic designed to avoid the paradox that defeated Frege. Avoiding it required giving up the idea that for every formula in the logical language, there is...
متن کاملAn Automated Derivation of the Sentential Calculus of Principia Mathematica from Łukasiewicz's CN
The optimization of computing systems hosted on Boolean-circuit-based computing equipment must be expressed at some level in Boolean behaviors and operations. Boolean behaviors and operations are part of a larger family of logics -the logic of sentences, also known as the "sentential calculus". Two logics are implicationally equivalent if the axioms and inference rules of each imply the axioms ...
متن کاملAn Automated Derivation of Łukasiewicz's CN from the Sentential Calculus of Principia Mathematica
The optimization of computing systems that incorporate Boolean-circuit-based computing equipment must be expressed at some level in Boolean behaviors and operations. Boolean behaviors and operations are part of a larger family of logics -the logic of sentences, also known as the "sentential calculus". Two logics are implicationally equivalent if the axioms and inference rules of each imply the ...
متن کاملSome Reflections on Newton’s ‘Principia’
We examine the text of Principia to discover the extent to which Newton’s claims about his own contribution to it were justified. We argue that the general Scholium, written twenty six years after the first edition, substantially misrepresents the main body of the text for polemical reasons. We discuss papers of Wallis, Wren and Huygens that use the third law of motion, as stated by Newton in B...
متن کاملthe impact of training on second language writing assessment: a case of raters’ biasedness
چکیده هدف اول این تحقیق بررسی تأثیر آموزش مصحح بر آموزش گیرندگان براساس پایایی نمره های آنها در پنج بخش شامل محتوا ، سازمان ، لغت ، زبان و مکانیک بود. هدف دوم این بود که بدانیم آیا تفاوتهای بین آموزشی گیرندگان زن و مرد در پایایی نمرات آنها وجود دارد. برای بررسی این موارد ، ما 90 دانشجو در سطح میانه (متوسط) که از طریق تست تعیین سطح شده بودند انتخاب شدند. بعد از آنها خواستیم که درباره دو موضوع ا...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1933
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1933-05740-3